The Polyranking Principle
نویسندگان
چکیده
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variables. The polyranking principle is proposed as a generalization of polynomial ranking for analyzing termination of loops. We define lexicographic polyranking functions in the context of loops with parallel transitions consisting of polynomial assertions, including inequalities, over primed and unprimed variables. Next, we address synthesis of these functions with a complete and automatic method for synthesizing lexicographic linear polyranking functions with supporting linear invariants over linear loops.
منابع مشابه
Polyranking for Polynomial Loops
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variables. We propose polyranking functions as a generalization of ranking functions for analyzing termination of loops. We define lexicographic polyranking functions in a general context and then specialize their synthesis...
متن کاملRe research and comparative study of the principle of pari passu in Iran and England legal system
Abstract When a company exposed to liquidation process the most important question is how its property should distribute between creditors. Since after the bankruptcy, creditors scramble to the property of insolvent an orderly and systematic framework is needed to scheduled this process in order to avoid more detriment and assist the insolvent to reorganize the business. Principle of equali...
متن کامل(An Analysis of Principle no.8 of the Constitution)
This article has analyzed principle no.8 of the Constitution from three aspects: 1-verbal analysis 2-conceptual analysis 3-ways to execute this principle. In first section a precise definition of "call to good", "good and evil" (both in law and in jurisprudence) and "government" have been presented. In second section to have a better understanding of principle no.8, issues such as the relation ...
متن کاملThe Inclusion-Exclusion Principle for IF-States
Applying two definitions of the union of IF-events, P. Grzegorzewski gave two generalizations of the inclusion-exclusion principle for IF-events.In this paper we prove an inclusion-exclusion principle for IF-states based on a method which can also be used to prove Grzegorzewski's inclusion-exclusion principle for probabilities on IF-events.Finally, we give some applications of this principle by...
متن کاملThe Interconnection among General Moral Principles in Islam
The general moral principles express universal values from which other values are derived. Many disagreements as to ethical theories have their roots in the kind of explanation given for these principles. There are six general moral principles (perfection, freedom, do-not-harm, public interests, desert, and justice) interconnected in such a way that none of them can be justified without explain...
متن کامل